Navigating the Requirements Jungle
نویسندگان
چکیده
Research on validation and verification of requirements specifications has thus far focused on functional properties. Yet, in embedded systems, functional requirements constitute only a small fraction of the properties that must hold to guarantee proper and safe operation of the system under design. In this paper we try to shine some light on the kinds of requirements occurring in current embedded systems design processes. We present a set of categories together with real-life examples. For each of them, we briefly describe possible approaches towards formal modeling and automated verification of the respective properties.
منابع مشابه
Advancing Global Health – The Need for (Better) Social Science; Comment on “Navigating Between Stealth Advocacy and Unconscious Dogmatism: The Challenge of Researching the Norms, Politics and Power of Global Health”
In his perspective “Navigating between stealth advocacy and unconscious dogmatism: the challenge of researching the norms, politics and power of global health,” Ooms argues that actions taken in the field of global health are dependent not only on available resources, but on the normative premise that guides how these resources are spent. This comment sets out how the application of a predomina...
متن کاملEquilibrium in the Jungle Equilibrium in the Jungle *
In the jungle, power and coercion govern the exchange of resources. We study a simple, stylized model of the jungle that mirrors an exchange economy. We define the notion of jungle equilibrium and demonstrate that a number of standard results of competitive markets hold in the jungle. JEL Classification: C7, D4, S477, B201
متن کاملClarifying the Concepts and Navigating a Path through the Bnc Jungle
In this paper, an attempt is first made to clarify and tease apart the somewhat confusing terms genre, register, text type, domain, sublanguage, and style. The use of these terms by various linguists and literary theorists working under different traditions or orientations will be examined and a possible way of synthesising their insights will be proposed and illustrated with reference to the d...
متن کاملSecond Generation IMO Intact Stability Vulnerability Criteria and its Application to ships Navigating in Persian Gulf and Oman Sea
Second generation intact stability criteria for few past years had been under development by International Maritime Organization (IMO). Since the draft proposed amendments shall be amended to International code on Intact Stability (IS code 2008), new regulations shall enter into force for ships of length more than 24 meter. Generally second generation intact stability criteria (SGISC) refers to...
متن کاملNavigating the Hindrances Arising at Macro and Micro-level from Practicality of Transformative Pedagogy
The present study intends to probe the impediments for the practicality of Critical language pedagogy (CLP) in higher education system of Iran. To do this, 20 Iranian university instructors, holding Ph.D. degrees in TEFL, were asked to read a passage reflecting the main characteristics of transformative pedagogy. To explore the main obstacles, they were invited for a semi-structured interview. ...
متن کامل